Section: Dissemination

Teaching - Supervision - Juries

Supervision

• PhD in progress: Vagelis Bebelis, “Advanced dataflow programming for embedded systems”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.

• PhD in progress: Dmitry Burlyaev, “Specification and synthesis of fault-tolerant circuits”, Grenoble University, since 12/2011, co-advised by Pascal Fradet and Alain Girault.

• PhD in progress: Gideon Smeding, Grenoble University, “Distribution of synchronous programs withe respect to real-time constraints”, co-advised by Gregor Goessler and Joseph Sifakis since 12/2009.

• PhD : Peter Schrammel, “Logico-numerical verification methods for discrete and hybrid systems”, Grenoble University, defended on 18/10/2012, co-advised by Alain Girault and Bertrand Jeannet

Juries

• Bertrand Jeannet was examiner for the PhD of Romain Testylier (University of Grenoble).

• Alain Girault was referee for the PhD thesis of Aurélien Monot (University of Lorraine), president of the PhD jury of Slim Bouguerra (University of Grenoble), and president of the PhD jury of Christophe Junke (University of Orsay).